University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
211	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
212	Incomplete Information and Certain Answers in General Data Models Leonid Libkin School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-17 10:54:22 Data Model theory Mathematical logic Relational model Structure Null XML database Function SQL Mathematics Data management Database theory
213	The Edinburgh Twitter Corpus Saˇ sa Petrovi´ c School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-02 08:53:50 Computing Social media Android software Real-time web Text messaging TweetDeck Tween Microblogging The Stream World Wide Web Twitter Software
214	Incomplete Data: What Went Wrong, and How to Fix It Leonid Libkin School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-01-10 05:31:52 Mathematics Computer languages Model theory Relational model Conjunctive query Null Data integration Relational algebra SQL Data management Database theory Mathematical logic
215	Open and Closed World Assumptions in Data Exchange Leonid Libkin1 and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:05:50 Computing Database management systems Conjunctive query Closed world assumption Data exchange SQL Null Database Structure Data management Database theory Data
216	Recurrent Reachability Analysis in Regular Model Checking Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-09-22 08:03:38 Computer science Applied mathematics Tree automaton Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
217	SQL’s Three-Valued Logic and Certain Answers Leonid Libkin School of Informatics, University of Edinburgh Abstract SQL uses three-valued logic for evaluating queries on databases with nulls. The standard theoretical ap Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2015-01-10 06:40:54 Relational model Null Relational algebra Conjunctive query FO SQL Function Symbol Data management Mathematics Computing
218	Reasoning About Pattern-Based XML Queries Am´elie Gheerbrant1, Leonid Libkin1, and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:18:52 Conjunctive query Database theory Complexity classes Relational model Structure Data integration Symbol FO Boolean satisfiability problem Theoretical computer science Mathematics Data management
219	AUTOMATIC TOPIC SEGMENTATION AND LABELING IN MULTIPARTY DIALOGUE Pei-Yun Hsueh and Johanna D. Moore School of Informatics University of Edinburgh Edinburgh, EH8 9LW, GB ABSTRACT Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-08-21 08:52:16 Natural language processing Image processing Speech recognition Text segmentation Segmentation Topic–comment N-gram MORE Market segmentation Linguistics Computational linguistics Science
220	A strategy language to facilitate proof re-use Gudmund Grov School of Informatics University of Edinburgh with contributions from: Alan Bundy, Lucas Dixon, Katya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Soft tennis at the 2010 Asian Games Soft tennis at the 2006 Asian Games Musical tuning Graphics chips MSX

UPDATE